大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference on Reactor Shielding 的图书(共10637本)

Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

0
索取号：
作者：Sala眉n、 Gwen.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rough Sets and Knowledge Technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings

0
索取号：
作者：Yao、 JingTao.、Ramanna、 Sheela.、Wang、 Guoyin.、Suraj、 Zbigniew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Open Source Systems: Grounding Research [electronic resource] : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings

0
索取号：
作者：Hissam、 Scott A.、Russo、 Barbara.、Mendon莽a Neto、 Manoel G.、Kon、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings

0
索取号：
作者：Kivinen、 Jyrki.、Szepesv谩ri、 Csaba.、Ukkonen、 Esko.、Zeugmann、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings

0
索取号：
作者：Altman、 Erik.、Shi、 Weisong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号：
作者：Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Photogrammetric Image Analysis [electronic resource] : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Stilla、 Uwe.、Rottensteiner、 Franz.、Mayer、 Helmut.、Jutzi、 Boris.、Butenuth、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III

0
索取号：
作者：Cruz-Cunha、 Maria Manuela.、Varaj茫o、 Jo茫o.、Powell、 Philip.、Martinho、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

0
索取号：
作者：Varbanescu、 Ana Lucia.、Molnos、 Anca.、Nieuwpoort、 Rob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Machine Learning in Medical Imaging [electronic resource] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Wang、 Fei.、Shen、 Dinggang.、Yan、 Pingkun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Provable Security [electronic resource] : 5th International Conference, ProvSec 2011, Xi鈥檃n, China, October 16-18, 2011. Proceedings

0
索取号：
作者：Boyen、 Xavier.、Chen、 Xiaofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

0
索取号：
作者：Fahrenberg、 Uli.、Tripakis、 Stavros.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.